COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	Moore, E.F. (1956) Some Gedanken Experiments with Sequential Machines, in
C00004 ENDMK
C⊗;
Moore, E.F. (1956) Some Gedanken Experiments with Sequential Machines, in
%2Theory of Automata%1, J. McCarthy and C.E. Shannon (eds.), Princeton
University Press.

Cellular Automata, E.F. Codd, Academic Press 1968

von   Neumann,   John,  The   theory   of   automata:   Construction,
Reproduction, Homogeneity  part II of "The theory of self-reproducing
automata" ed.  A.  W. Burks.  Universiy  of Illinois  Press,  Urbana,
Illinois,1966

Moore, Robert C., Reasoning from Incomplete Knowledge in a Procedural
Deduction System, M.S. Thesis, M.I.T. 1975

	Moore  (1975)  describes  some  of  the  epistemological  and
heuristic limitations  of present %2procedural deduction systems%1 as
currently developed at M.I.T.